[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Visualisierung von Protokollen: Ein erweitertes Petrinetz-Modell zur Simulation von Kommunikationsprotokollen

contributor Verteilte Systeme (IPVR)
creator Baar, Oliver
date 1998-02-16
description 74 pages
Im Bereich Rechnernetze und Verteilte Systeme existiert eine Vielzahl von Kommunikationsprotokollen. Aufgrund ihrer Komplexität und Dynamik sind sie in der Lehre am besten anhand von Animation und Simulation zu vermitteln. Hierzu gehören auch Möglichkeiten, unterschiedliche Fälle interaktiv durchzuspielen und Einflussfaktoren ändern zu können. Das HiSAP Projekt befasst sich mit der Entwicklung und Implementation eines Systems zur interaktiven Simulation und Animation von Protokollen. Protokolle werden hierbei formal spezifiziert und in ein intern ablauffähiges Simulationsmodell überführt. Die Benutzer können sich dann in animierten Simulationsläufen mit dem jeweiligen Protokoll auseinandersetzen. In dieser Diplomarbeit wurde ein Mechanismus entworfen und implementiert, der ein mit Hilfe von Petri-Netzen spezifiziertes Protokoll in ein internes Simulationsmodell für HiSAP überträgt. Es wurde dabei das bisher aus SDL-Spezifikationen hergeleitete Simulationsmodell mit einbezogen.
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1644&engl=1
language ger
publisher Stuttgart, Germany, Universität Stuttgart
relation Diploma Thesis No. 1644
subject Network Protocols (CR C.2.2)
Object-oriented Programming (CR D.1.5)
Programming Languages Processors (CR D.3.4)
Simulation and Modeling General (CR I.6.0)
Education (CR J.1.2)
simulation
petri-net
visualization
teaching
communication protocol
title Visualisierung von Protokollen: Ein erweitertes Petrinetz-Modell zur Simulation von Kommunikationsprotokollen
type Text
Diploma Thesis